Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
941	ARTICLE Game Theory as an Instrument for the Analysis of International Relations Hector Correa※ Add to Reading List Source URL: www.ritsumei.ac.jp Language: English - Date: 2012-03-13 01:28:46 Game theory Science Realism in international relations International crisis Mathematical logic International relations theory International relations Economics
942	Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework for the understanding of old results and more recently has led to sign Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-11 16:03:28 Science Academia Mathematics Shiing-Shen Chern Combinatorics
943	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
944	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:08 Music Automata theory Models of computation Algorithm Mathematical logic Theoretical computer science Formal specification Specification G-code Computing Formal methods Software engineering
945	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
946	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
947	Reports of AMS Association Resource Group The AMSARG is a subcommittee of the AMS Committee on Education, chaired by Roger Howe and charged with representing the AMS to the National Council of Teachers of Mathematics (NC Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:16:15 Mathematical logic Education reform Algorithm Theoretical computer science Epistemology Principles and Standards for School Mathematics National Council of Teachers of Mathematics Multiplication Standard algorithms Mathematics Mathematics education Education
948	MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-05-07 04:10:57 Theory of computation Theoretical computer science Functions and mappings Function Computable function Equivalence relation Recursion Primitive recursive function Μ operator Mathematics Computability theory Mathematical logic
949	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2014-01-30 00:13:10 Artificial intelligence Logic in computer science Control engineering Lotfi A. Zadeh Fuzzy control system Many-valued logic Control system Degree of truth Logic programming Logic Fuzzy logic Science
950	Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio Add to Reading List Source URL: coregrid.ercim.eu Language: English - Date: 2008-09-24 04:08:10 Formal methods Logic in computer science Formal sciences Cybernetics Formal verification Theoretical computer science Model checking Modal logic Deontic logic Logic Mathematical logic Applied mathematics

UPDATE